resolution theory

分解理论